منابع مشابه
Collections, sets and types
We give a rst order formulation of Church's type theory in which types are mere sets. This formulation is obtained by replacing -calculus by a language of combinators (skolemized comprehension schemes), introducing a distinction between propositions and their contents, relativizing quanti ers and at last replacing typing predicates by membership to some sets. The theory obtained this way has bo...
متن کاملAbout Regularity of Collections of Sets
The paper continues investigations of stationarity and regularity properties of collections of sets in normed spaces. It contains a summary of different characterizations (both primal and dual) of regularity and a list of sufficient conditions for a collection of sets to be regular.
متن کاملAbout uniform regularity of collections of sets
We further investigate the uniform regularity property of collections of sets via primal and dual characterizing constants. These constants play an important role in determining convergence rates of projection algorithms for solving feasibility problems.
متن کاملSet-Consensus Collections are Decidable
A natural way to measure the power of a distributed-computing model is to characterize the set of tasks that can be solved in it. In general, however, the question of whether a given task can be solved in a given model of computation is undecidable, even if we only consider the wait-free shared-memory model. In this paper, we address this question for a restricted class of models and tasks. We ...
متن کاملExample Data Sets and Collections for BeSpaceD Explained
In this report, we present example data sets and collections for the BeSpaceD platform. BeSpaceD is a spatio-temporal modelling and reasoning software framework. We describe the content of a number of the data sets and how the data was obtained. We also present the programming API in BeSpaceD used to store and access these data sets so that future BeSpaceD users can utilise the data collections...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Society for Information Science and Technology
سال: 2011
ISSN: 0044-7870
DOI: 10.1002/meet.2011.14504801145